Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Andrew Gill. HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk). In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{gill:OASIcs.WPTE.2014.1,
author = {Gill, Andrew},
title = {{HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell}},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
pages = {1--1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-70-5},
ISSN = {2190-6807},
year = {2014},
volume = {40},
editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.1},
URN = {urn:nbn:de:0030-drops-45888},
doi = {10.4230/OASIcs.WPTE.2014.1},
annote = {Keywords: Program Transformation, Equational Reasoning, Optimization}
}
Feedback for Dagstuhl Publishing